windowMenu: Ping window when activating any menu action

We do this for actions in the regular app menu, it makes sense to
do the same for window menu and fallback app menu.

diff --git a/js/ui/windowMenu.js b/js/ui/windowMenu.js
index b1f8073736e8e027790fca83a1cda059855097e8..395ccfe7310785b77dca2b1698d586404adbf302 100644 (file)
--- a/js/ui/windowMenu.js
+++ b/js/ui/windowMenu.js
@@ -155,6 +155,10 @@ const WindowMenuManager = new Lang.Class({
 
         this._manager.addMenu(menu);
 
+        menu.connect('activate', function() {
+            window.check_alive(global.get_current_time());
+        });
+
         Main.layoutManager.setDummyCursorGeometry(x, y, 0, 0);
         menu.open(BoxPointer.PopupAnimation.NONE);
         menu.actor.navigate_focus(null, Gtk.DirectionType.TAB_FORWARD, false);